1 A Novel Minimization Method for Sensor Deployment Via Heuristic 2-Sat Solution
نویسندگان
چکیده
منابع مشابه
A Hyper-Heuristic method for MAX-SAT
In this paper, we are interested in the Maximum Satisfiability Problem (MAX-SAT) which is an optimization variant of the Boolean satisfiability problem (SAT). SAT is of a central importance in various areas of computer science, including theoretical computer science, algorithmic, artificial intelligence, hardware design and verification. Formally, given a set of m clauses C = {C1;C2 . . . Cm} i...
متن کاملA polynomial time solution for 2-SAT
The question of whether the P and NP complexity classes are equivalent is unresolved. It is conjectured that they are inequivalent because of the vast number of NP-Complete languages (including the ever-popular 3-SAT) for which there is no known polynomial time solution. The author of this paper respectfully disagrees and presents a polynomial time solution to a problem closely related to 3-SAT...
متن کاملA New Heuristic Solution Method for Maximal Covering Location-Allocation Problem with M/M/1 Queueing System
We consider the queueing maximal covering location-allocation problem (QM-CLAP) with an M/M/1 queueing system. We propose a new solution procedure based on decomposition of the problem into smaller sub-problems. We solve the resulting sub-problems both with a branch and bound algorithm and with the meta-heuristic GRASP. We also solve the entire model with GRASP. Computational results for these ...
متن کاملCrossflow Filtration of Sodium Chloride Solution by A Polymeric Nanofilter: Minimization of Concentration Polarization by a Novel Backpulsing Method
In the present study, the production of low-salt water from salty water by nanofiltration as well as membrane fouling was investigated. Furthermore, a new method was proposed and tested experimentally for creating the backpulse in order to minimization of fouling and increase of the filtration efficiency. In the proposed method, the permeate was used instead of gas for creating the...
متن کاملSynthesis and Characterization of ZnO Nanostructures Grown via a Novel Atmospheric Pressure Solution Evaporation Method
In this study, a novel method called “atmospheric pressure solution evaporation (APSE)” wasdeveloped for growing of Zinc Oxide (ZnO) nanostructures on Al2O3 surface. Zinc acetate dihydrate,Polyvinyl Pyrrolidone, and deionized water were used as precursor, capping, and solvent, respectively.The growth of ZnO nanostructures from evaporated solution was performed at three temperatures of300, 400, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sir Syed Research Journal of Engineering & Technology
سال: 2018
ISSN: 2415-2048,1997-0641
DOI: 10.33317/ssurj.v1i1.37